English logical program scheme: תרגום לשפות אחרות